Algorithmic Applications of Tree-Cut Width

نویسندگان

چکیده

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the treewidth minors. In this paper, we provide first algorithmic applications of hard combinatorial problems. Tree-cut is known be lower-bounded by function treewidth, but it can much larger and hence has potential facilitate efficient solution problems that are not fixed-parameter tractable (FPT) when parameterized treewidth. We introduce notion nice decompositions FPT algorithms for showcase Capacitated Vertex Cover, Dominating Set, Imbalance an input graph. On other hand, show List Coloring, Precoloring Extension, Boolean CSP (the last incidence graph) W[1]-hard unlikely width.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algorithmic Applications of Tree-Cut Width

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper we provide the first algorithmic applications of tree-cut width to hard combinatorial problems. Tree-cut width is known to be lower-bounded by a function of treewidth, but it can be much larger and hence has the poten...

متن کامل

Width Parameters Beyond Tree-width and their Applications

PETR HLINĚNÝ1,2,*, SANG-IL OUM3,7, DETLEF SEESE4 AND GEORG GOTTLOB5,6 Faculty of Informatics, Masaryk University, Botanická 68a, 602 00 Brno, Czech Republic VŠB, Technical University of Ostrava, Ostrava, Czech Republic School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332-0160, USA Institute AIFB, University Karlsruhe (TH), D-76128 Karlsruhe, Germany Oxford University Comput...

متن کامل

Thread Graphs, Linear Rank-Width and Their Algorithmic Applications

Many NP-hard graph problems can be efficiently solved on graphs of bounded tree-width. Several articles have recently shown that the so-called rank-width parameter also allows efficient solution of most of these NP-hard problems, while being less restrictive than tree-width. On the other hand however, there exist problems of practical importance which remain hard on graphs of bounded rank-width...

متن کامل

Towards Algorithmic Cut-Introduction

We describe a method for abbreviating an analytic proof in classical first-order logic by the introduction of a lemma. Our algorithm is based on first computing a compressed representation of the terms present in the analytic proof and then a cut-formula that realizes such a compression. This method can be applied to the output of automated theorem provers, which typically produce analytic proofs.

متن کامل

An Algorithmic Friedman-Pippenger Theorem on Tree Embeddings and Applications

An (n, d)-expander is a graph G = (V,E) such that for every X ⊆ V with |X| ≤ 2n− 2 we have |ΓG(X)| ≥ (d + 1)|X|. A tree T is small if it has at most n vertices and has maximum degree at most d. Friedman and Pippenger (1987) proved that any (n, d)-expander contains every small tree. However, their elegant proof does not seem to yield an efficient algorithm for obtaining the tree. In this paper, ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: SIAM Journal on Discrete Mathematics

سال: 2022

ISSN: ['1095-7146', '0895-4801']

DOI: https://doi.org/10.1137/20m137478x